Universal logic - PDFSEARCH.IO - Document Search Engine

Universal logic
Results: 479

#	Item
131	ETSI TRV9Technical Report Digital cellular telecommunications system (Phase 2+); Universal Mobile Telecommunications System (UMTS); LTE; Add to Reading List Source URL: www.etsi.org Language: English - Date: 2010-01-27 08:32:43 Signaling System 7 Universal Mobile Telecommunications System Standards organizations Videotelephony 3GPP Mobile Application Part Customised Applications for Mobile networks Enhanced Logic SMS User equipment Telephony Technology Electronic engineering
132	TACFileSize-Twocolumn.dvi Add to Reading List Source URL: users.monash.edu Language: English - Date: 2014-01-09 20:53:45 Mathematics Logic Model theory Structure Universal algebra
133	Reasoning on Regular Path Queries D. Calvanese, G. De Giacomo, M. Lenzerini Dip. di Informatica e Sistemistica Universit`a di Roma “La Sapienza” Via Salaria 113, IRoma, Italy Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:39 Universal algebra Conjunctive query Logic Relational model Data integration FO Symbol Metaphilosophy Mathematics Model theory Structure
134	Mixed Signal Oscilloscopes - MSO4000B, DPO4000B Series Add to Reading List Source URL: www.et.aau.dk Language: English Electromagnetism Oscilloscope Logic analyzer Waveform Oscilloscope types MOS Technology SID Universal Serial Bus Mixed-domain oscilloscope Electronic test equipment Electronics Technology
135	GP-400 Optimum programming for each individual device! Stand Alone/USB Universal Programmer Add to Reading List Source URL: www.needhams.com Language: English - Date: 2013-10-31 11:30:16 Integrated circuits Logic families Complex programmable logic device Series CMOS Erasable programmable logic device Microcontroller Universal Serial Bus Programmable Array Logic Electronic engineering Digital electronics Electronics
136	The λΠ-calculus Modulo as a Universal Proof Language Mathieu Boespflug1 , Quentin Carbonneaux2 and Olivier Hermant3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-25 10:49:31 Mathematics Lambda calculus Dependently typed programming Logic in computer science Proof theory Natural deduction Curry–Howard correspondence Calculus of constructions Type system Type theory Programming language theory Theoretical computer science
137	Mixed Signal Oscilloscopes - MSO2000, DPO2000 Series Add to Reading List Source URL: www.et.aau.dk Language: English Measuring instruments Laboratory equipment Electromagnetism Oscilloscope Logic analyzer Waveform Universal Serial Bus Oscilloscope types Electronic test equipment Technology Electronics
138	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
139	ITECH August 2008 INSTRUMENTS Add to Reading List Source URL: www.itech-instruments.com Language: English - Date: 2014-03-06 07:08:32 D-subminiature Electronics Electronic test equipment Technology Electronic engineering Universal Serial Bus Transistor–transistor logic
140	EMPReliable Operation for Engineering or Production Universal 48 Pin Programmer Add to Reading List Source URL: www.needhams.com Language: English - Date: 2013-11-01 13:18:43 Computer hardware Digital electronics CPU sockets Logic families Zero insertion force Programmer Universal Serial Bus Dual in-line package Series Electronic engineering Integrated circuits Electronics

UPDATE